Wright omega function
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
In mathematics, the Wright omega function or Wright function,cite-ref-1[note 1] denoted Ο, is defined in terms of the Lambert W function as:
Ο ( z ) = W β I m ( z ) β Ο 2 Ο β ( e z ) . {\displaystyle \omega (z)=W_{{\big \lceil }{\frac {\mathrm {Im} (z)-\pi }{2\pi }}{\big \rceil }}(e^{z}).}
It is simpler to be defined by its inverse function
z ( Ο ) = ln β‘ ( Ο ) + Ο {\displaystyle z(\omega )=\ln(\omega )+\omega }
Contents
β’ Uses
β’ Properties
β’ Values
β’ Plots
β’ Notes
β’ References
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Uses
One of the main applications of this function is in the resolution of the equation z = ln(z), as the only solution is given by z = eβΟ(Ο i).
y = Ο(z) is the unique solution, when z β x Β± i Ο {\displaystyle z\neq x\pm i\pi } for x β€ β1, of the equation y + ln(y) = z. Except for those two values, the Wright omega function is continuous, even analytic.
Properties
The Wright omega function satisfies the relation W k ( z ) = Ο ( ln β‘ ( z ) + 2 Ο i k ) {\displaystyle W_{k}(z)=\omega (\ln(z)+2\pi ik)} .
It also satisfies the differential equation
d Ο d z = Ο 1 + Ο {\displaystyle {\frac {d\omega }{dz}}={\frac {\omega }{1+\omega }}}
wherever Ο is analytic (as can be seen by performing separation of variables and recovering the equation ln β‘ ( Ο ) + Ο = z {\displaystyle \ln(\omega )+\omega =z} , and as a consequence its integral can be expressed as:
β« Ο n d z = { Ο n + 1 β 1 n + 1 + Ο n n if n β β 1 , ln β‘ ( Ο ) β 1 Ο if n = β 1. {\displaystyle \int \omega ^{n}\,dz={\begin{cases}{\frac {\omega ^{n+1}-1}{n+1}}+{\frac {\omega ^{n}}{n}}&{\mbox{if }}n\neq -1,\\\ln(\omega )-{\frac {1}{\omega }}&{\mbox{if }}n=-1.\end{cases}}}
Its Taylor series around the point a = Ο a + ln β‘ ( Ο a ) {\displaystyle a=\omega _{a}+\ln(\omega _{a})} takes the form :
Ο ( z ) = β n = 0 + β q n ( Ο a ) ( 1 + Ο a ) 2 n β 1 ( z β a ) n n ! {\displaystyle \omega (z)=\sum _{n=0}^{+\infty }{\frac {q_{n}(\omega _{a})}{(1+\omega _{a})^{2n-1}}}{\frac {(z-a)^{n}}{n!}}}
where
q n ( w ) = β k = 0 n β 1 β¨ β¨ n + 1 k β© β© ( β 1 ) k w k + 1 {\displaystyle q_{n}(w)=\sum _{k=0}^{n-1}{\bigg \langle }\!\!{\bigg \langle }{\begin{matrix}n+1\\k\end{matrix}}{\bigg \rangle }\!\!{\bigg \rangle }(-1)^{k}w^{k+1}}
in which
β¨ β¨ n k β© β© {\displaystyle {\bigg \langle }\!\!{\bigg \langle }{\begin{matrix}n\\k\end{matrix}}{\bigg \rangle }\!\!{\bigg \rangle }}
Values
Ο ( 0 ) = W 0 ( 1 ) β 0.56714 Ο ( 1 ) = 1 Ο ( β 1 Β± i Ο ) = β 1 Ο ( β 1 3 + ln β‘ ( 1 3 ) + i Ο ) = β 1 3 Ο ( β 1 3 + ln β‘ ( 1 3 ) β i Ο ) = W β 1 ( β 1 3 e β 1 3 ) β β 2.237147028 {\displaystyle {\begin{array}{lll}\omega (0)&=W_{0}(1)&\approx 0.56714\\\omega (1)&=1&\\\omega (-1\pm i\pi )&=-1&\\\omega (-{\frac {1}{3}}+\ln \left({\frac {1}{3}}\right)+i\pi )&=-{\frac {1}{3}}&\\\omega (-{\frac {1}{3}}+\ln \left({\frac {1}{3}}\right)-i\pi )&=W_{-1}\left(-{\frac {1}{3}}e^{-{\frac {1}{3}}}\right)&\approx -2.237147028\\\end{array}}}
Plots
Notes
cite-note-1note 1. β Not to be confused with the FoxβWright function, also known as Wright function.
References